Modeling and Analysis of Hybrid Systems: A New Approach Integrating Petri Nets and Di erential Equations
نویسندگان
چکیده
Hybrid technical systems combine discrete-state event-driven and continuous-state time-driven behavior. In this contribution, a general modeling formalism for such systems is proposed. The discrete subsystem is represented by an interpreted Petri net. In addition to external continuous inputs, discrete variables dependent on the net marking aaect the continuous subsystem which is a time-driven state space model. Limit violations of particular continuous state variables as well as external binary inputs are interpreted as events and change the discrete state of the system. In view of the analysis of hybrid technical systems reachability and stability are deened. The modeling method is applied to a mixing tank.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelicatm
To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by di erential and algebraic equations using an object-oriented modeling language such as Modelica. It is shown how a discrete formalism such as Petri nets can be incorporated by describing all components by strictly local equations. This allows a unifying treatment since both the continuous and th...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کامل